<?php
 //Deconnexion de la base de donnees
mysql_close();
?>